A formal number-termed system based on recursion
نویسندگان
چکیده
منابع مشابه
General Recursion and Formal Topology
It is well known that general recursion cannot be expressed within Martin-Löf’s type theory and various approaches have been proposed to overcome this problem still maintaining the termination of the computation of the typable terms. In this work we propose a new approach to this problem based on the use of inductively generated formal topologies.
متن کاملA Formal Petri Net Based Model for Antivirus Update Agent System
In this paper, a formal model for antivirus update agent system is presented based on mobile agent technology and predicate/transition Petri nets. The mobile agent system contains two mobile agents called DCA and UNA. It sends out agents to update antivirus on client computers in a network. Each agent takes on a specified responsibility. First, DCA roams through the network and check the last d...
متن کاملA Formal Petri Net Based Model for Antivirus Update Agent System
In this paper, a formal model for antivirus update agent system is presented based on mobile agent technology and predicate/transition Petri nets. The mobile agent system contains two mobile agents called DCA and UNA. It sends out agents to update antivirus on client computers in a network. Each agent takes on a specified responsibility. First, DCA roams through the network and check the last d...
متن کاملProgram Schemes, Recursion Schemes, and Formal Languages
This paper presents general methods for studying the problems of translatability between classes of schemes and equivalence of schemes in a given class. There are four methods: applying the theory of formal languages, programming, measuring the complexity of a computation, and "cutting and pasting." These methods are used to answer several questions of translatability and equivalence for classe...
متن کاملA System Design Methodology Based on a Formal Computational Model
The modern electronic system design has become extremely complex due to the increasing demand of higher performance and improved functionality. In this paper, we address this problem with a system design methodology which is based on functional language and uses skeletons for design exploration. Transformational design method is also introduced during various design exploration stages. The fina...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Rocky Mountain Journal of Mathematics
سال: 1974
ISSN: 0035-7596
DOI: 10.1216/rmj-1974-4-4-649